More from this Author

Rewriting Techniques and Applications

by Ralf Treinen (Editor)

Constraints in Computational Logics

by Hubert Comon (Editor), Claude Marché (Editor), Ralf Treinen (Editor), G. Goos (Editor), J. Hartmanis (Editor), Jan Van Leeuwen (Editor)